Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
881	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
882	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
883	The Fundamental Computational Biases of Human Cognition: Heuristics that (Sometimes) Impair Decision Making and Problem Solving Keith E. Stanovich University of Toronto Stanovich, K. EThe fundamental computati Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:15:25 Reasoning Critical thinking Arguments Problem solving Epistemology Inductive reasoning Deductive reasoning Reason Keith Stanovich Science Knowledge Logic
884	THE EROTETIC THEORY OF REASONING: Add to Reading List Source URL: www.koralus.net Language: English - Date: 2014-04-05 07:49:18 Mind Mental model Psychology of reasoning Reason Deductive reasoning Inference Default logic Philosophy Sequent Reasoning Science Logic
885	Simon M. Huttegger Department of Logic and Philosophy of Science 3151 Social Science Plaza A, University of California Irvine Irvine, CA Add to Reading List Source URL: faculty.sites.uci.edu Language: English - Date: 2014-08-29 15:09:01 Epistemology Philosophers of science Brian Skyrms Game theory Signaling game Kenneth Binmore Formal epistemology Philosophy of biology Philosophy of science Science Knowledge Philosophy
886	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
887	Visualisation of Uncertainty in a Geodemographic Classifier Aidan Slingsby1 , Nicholas J. Tate2 , and Peter F. Fisher2 1 giCentre, Department of Computer Science, City University London, Northampton Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2014-07-25 11:57:48 Knowledge Consumer behaviour Geodemography Human geography Fuzzy logic Machine learning Fuzzy set Statistical classification Uncertainty Science Statistics Demography
888	A Form for Referees in Theoretical Computer Science∗ Ian Parberry† Department of Computer Science & Engineering University of North Texas September 20, 2007 Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-05-12 16:09:28 Academic literature Academic publishing Peer review Scientific method Science Computer Pi Mathematical proof Knowledge Mathematics Mathematical logic
889	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
890	Documentary Is/Not a Name Author(s): Trinh T. Minh-Ha Source: October, Vol. 52 (Spring, 1990), ppPublished by: The MIT Press Stable URL: http://www.jstor.org/stableAccessed: :28 UTC Add to Reading List Source URL: sed.ucsd.edu Language: English - Date: 2015-02-27 13:11:29 Logic Theories of truth Academic publishing Andrew W. Mellon Foundation JSTOR Truth Documentary film Theory Meaning Philosophy Philosophical logic Science

UPDATE